116 research outputs found
On the equivalence of types
Types over a discrete valued field are computational objects that
parameterize certain families of monic irreducible polynomials in ,
where is the completion of at . Two types are considered to be
equivalent if they encode the same family of prime polynomials. In this paper,
we characterize the equivalence of types in terms of certain data supported by
them
Orbits of rational n-sets of projective spaces under the action of the linear group
For a fixed dimension we compute the generating function of the numbers
(respectively ) of -orbits of rational
-sets (respectively rational -multisets) of the projective space
\mathb{P}^N over a finite field . For these results
provide concrete formulas for and as a polynomial in
with integer coefficients
Genetics of polynomials over local fields
Let be a discrete valued field with valuation ring \oo, and let
\oo_v be the completion of \oo with respect to the -adic topology. In
this paper we discuss the advantages of manipulating polynomials in \oo_v[x]
in a computer by means of OM representations of prime (monic and irreducible)
polynomials. An OM representation supports discrete data characterizing the
Okutsu equivalence class of the prime polynomial. These discrete parameters are
a kind of DNA sequence common to all individuals in the same Okutsu class, and
they contain relevant arithmetic information about the polynomial and the
extension of that it determines.Comment: revised according to suggestions by a refere
Counting hyperelliptic curves that admit a Koblitz model
Let k be a finite field of odd characteristic. We find a closed formula for
the number of k-isomorphism classes of pointed, and non-pointed, hyperelliptic
curves of genus g over k, admitting a Koblitz model. These numbers are
expressed as a polynomial in the cardinality q of k, with integer coefficients
(for pointed curves) and rational coefficients (for non-pointed curves). The
coefficients depend on g and the set of divisors of q-1 and q+1. These formulas
show that the number of hyperelliptic curves of genus g suitable (in principle)
of cryptographic applications is asymptotically (1-e^{-1})2q^{2g-1}, and not
2q^{2g-1} as it was believed. The curves of genus g=2 and g=3 are more
resistant to the attacks to the DLP; for these values of g the number of curves
is respectively (91/72)q^3+O(q^2) and (3641/2880)q^5+O(q^4)
- …